package packageServer;

public class Cella {

	private String tipo;
	private Dinosauro dino;
	

	//@ensures dino==null;
	public Cella(String tipo){		
		this.tipo=tipo;	
		this.dino=null;
	}
	
	/**
	 * Aggiunge un dinosauro alla cella, dicendo che ora e' occupata da lui.
	 * 
	 * @param dino Dinosauro che viene assegnato come occupante della cella.
	 */
	//@ensures dino!=null;
	public void addDino(Dinosauro dino){
		this.dino=dino;
	}
	

	public String getTipo() {
		return tipo;
	}
	
	public void setTipo(String tipo) {
		this.tipo = tipo;
	}

	public Dinosauro getDino() {
		return dino;
	}

	public void setDino(Dinosauro dino) {
		this.dino = dino;
	}
	
	
	
}
